diff options
Diffstat (limited to 'support/tools/Burg/Makefile')
| -rw-r--r-- | support/tools/Burg/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/tools/Burg/Makefile b/support/tools/Burg/Makefile index b19c0c2..1022358 100644 --- a/support/tools/Burg/Makefile +++ b/support/tools/Burg/Makefile @@ -25,4 +25,4 @@ test:: $(TOOLEXENAME_G) sample.gr $(TOOLEXENAME_G) -I sample.gr -o tmp && cmp tmp sample.c $(TOOLEXENAME_G) -I -O0 <sample.gr >tmp && cmp tmp sample.c $(TOOLEXENAME_G) -I -= <sample.gr >tmp && cmp tmp sample.c - rm -f tmp sample.c + $(RM) -f tmp sample.c |