mirror of https://github.com/BOINC/boinc.git
upgrade script: remind user to do "make"
This commit is contained in:
parent
47cce8e823
commit
19db13580f
|
@ -64,6 +64,9 @@ if not options.srcdir:
|
|||
if not options.srcdir:
|
||||
syntax_error('Not running in the source directory and --srcdir was not specified')
|
||||
|
||||
if not options.web_only:
|
||||
print "Don't forget to do 'make' first!"
|
||||
|
||||
if not tools.query_noyes("Overwrite files in "+INSTALL_DIR):
|
||||
raise SystemExit
|
||||
|
||||
|
|
Loading…
Reference in New Issue