diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:42:20 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:42:20 (EST) |
| commit | 8a51810890e0eb90aceab2d5aa8384037bfb5e04 (patch) | |
| tree | 280ee89da8e445804200853b5fd0e810c2c3ec96 | |
| parent | b63a5bb1168f1e354666cec0cf92ef3bdeb7bf3e (diff) | |
src/local.mk: Append to prokit_SOURCES
| -rw-r--r-- | src/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/local.mk b/src/local.mk index d989dbf..99a4808 100644 --- a/src/local.mk +++ b/src/local.mk @@ -1,2 +1,2 @@ -bin_sources = \ +prokit_SOURCES += \ src/prokit.sh |