diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -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 50bc98de..a24f4218 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1681,6 +1681,7 @@ $(axiom_algebra_layer_user_objects): bootstrap-stamp all-algstrap: strap-stamp strap-stamp: strap-2/.finished + @ $(mkdir_p) $(OUT) @ rm -f strap-stamp @ $(STAMP) strap-stamp @ echo ===================================== |