diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 68aa91bc4..19343de0e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -16,7 +16,7 @@ shell: clean: rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~ hugs: - hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:parsing GF + hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:parsing: GF today: runhugs util/MkToday javac: |