diff options
Diffstat (limited to 'src/interp/Makefile.pamphlet')
-rw-r--r-- | src/interp/Makefile.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index 794a6560..a5cee031 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -872,7 +872,7 @@ macex.$(FASLEXT): macex.boot ptrees.$(FASLEXT) $(BOOTSYS) --compile --output=$@ --load-directory=. $< ptrees.$(FASLEXT): ptrees.boot posit.$(FASLEXT) serror.$(FASLEXT) - $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $< + $(BOOTSYS) --compile --output=$@ --load-directory=. $< pile.$(FASLEXT): pile.boot scan.$(FASLEXT) $(BOOTSYS) --compile --boot="old" --output=$@ --load-directory=. $< |