summaryrefslogtreecommitdiff
path: root/mkfile
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-07-02 16:59:56 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-07-02 16:59:56 +0000
commit2bfb79be604c68b7684b515f3be3388fecfcf1f4 (patch)
treefe786e8426d8ec8d22750f91140aa060c111081f /mkfile
parent855fd0a5eacdc52699e3e187fcde1a4895ca5f6a (diff)
Remove strings, and add a (currently not changable) flag 'double_quotes' which defines how double quoted strings are stored.
Diffstat (limited to 'mkfile')
-rw-r--r--mkfile10
1 files changed, 9 insertions, 1 deletions
diff --git a/mkfile b/mkfile
index a546509..af1385b 100644
--- a/mkfile
+++ b/mkfile
@@ -2,7 +2,15 @@
TARG=pprolog
-OFILES=main.$O parser.$O eval.$O builtins.$O prettyprint.$O misc.$O repl.$O
+OFILES=\
+ main.$O\
+ parser.$O\
+ eval.$O\
+ builtins.$O\
+ prettyprint.$O\
+ misc.$O\
+ repl.$O\
+ flags.$O
HFILES=dat.h fns.h