makefile fix

2017-11-04 00:05:38 -07:00 · 2017-11-04 00:05:38 -07:00 · e152cb1180
parent 5974924ac1
commit e152cb1180
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -45,5 +45,5 @@ DAVEX.MG.SHK: $(MG_CMDS)
 .PHONY: clean
 clean:
 	rm -f *.o *.p8c *.lst *.map davex.mg.po DAVEX.MG.SHK help/*
-	rmdir help
+	if [ -d help ]; then rmdir help; fi