diff options
| author | aarne <unknown> | 2003-10-02 08:12:16 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-02 08:12:16 +0000 |
| commit | 3f328521917263f2b3dbe225edaf9e919c30156e (patch) | |
| tree | 85efe87e3f0eb0ca3f881f0ffff5ac614869a1c3 /src | |
| parent | 8b6ef46f3185cd4267a9cdc0416ac96878715766 (diff) | |
Preparing for parsing.
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: |