diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
| commit | b93268085aab14c80a400c299da5d04d2781098e (patch) | |
| tree | 99e9eefc175a36f3949404daf6c2fe4a49d1e1c1 /ach/Makefile | |
| parent | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (diff) | |
Implement top-level ascription of declarations
Diffstat (limited to 'ach/Makefile')
| -rw-r--r-- | ach/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ach/Makefile b/ach/Makefile index 869a0d0f8a3e..3a8cd2865e87 100644 --- a/ach/Makefile +++ b/ach/Makefile @@ -12,4 +12,4 @@ default: simple .PHONY: clean clean: - @rm -f *.ll *.o simple + @rm -f *.ll *.o simple functions |