Merge pull request #359 from mcmasterg/gnd_clean

055-gnd/Makefile: fix bad clean
This commit is contained in:
John McMaster 2018-12-18 17:46:36 -08:00 committed by GitHub
commit 254b1cdd8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -41,7 +41,7 @@ endif
touch run.ok
clean:
rm -rf build OK
rm -rf build run.ok
.PHONY: database pushdb run clean