diff options
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 7f4ed3a..b094dde 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -83,4 +83,4 @@ install_omp: installbins_omp clean: - rm -fR $(TARGETS) $(OMP_TARGET) *~ + rm -fR $(TARGETS) $(OMP_TARGET) *~ *.o |