steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Build: fix makefile to work with new script path

locals-and-roots
Björn Lindqvist 2016-03-16 14:28:09 +01:00
parent 4a472d7882
commit 4d2afed06d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
GNUmakefile
View File

@ -133,7 +133,7 @@ ifdef CONFIG
endif endif
default: default:
$(MAKE) `./build-support/factor.sh make-target` $(MAKE) `./build.sh make-target`
help: help:
@echo "Run '$(MAKE)' with one of the following parameters:" @echo "Run '$(MAKE)' with one of the following parameters:"

2
build.sh
View File

@ -484,7 +484,7 @@ git_fetch_factorcode() {
invoke_git fetch "$GIT_URL" master invoke_git fetch "$GIT_URL" master
if update_script_changed; then if update_script_changed; then
$ECHO "Updating and restarting the factor.sh script..." $ECHO "Updating and restarting the build.sh script..."
update_script update_script
else else
$ECHO "Updating the working tree..." $ECHO "Updating the working tree..."