diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index e4d99011..4db09a9c 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1862,6 +1862,7 @@ user-stamp: $(axiom_algebra_layer_user_objects) @ $(STAMP) user-stamp +.PRECIOUS: $(SPADFILES) .PHONY: spad-files-stamp spad-files-stamp: $(SPADFILES) @ rm -f spad-files-stamp |