diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index f9dc2f60..f3bf33bc 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1141,8 +1141,11 @@ bootstrap-stamp: $(axiom_algebra_bootstrap_objects) mostlyclean-local: @ -rm -f $(OUT)/*.$(OBJEXT) @ -rm -rf *.NRLIB + rm -rf strap + rm -f *stamp clean-local: mostlyclean-local + rm -rf *.DAASE distclean-local: clean-local |