From 19db13580f50e29dfbe4725a044d6a7d725e306e Mon Sep 17 00:00:00 2001 From: David Anderson Date: Tue, 24 Oct 2017 10:23:43 -0700 Subject: [PATCH] upgrade script: remind user to do "make" --- tools/upgrade | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/upgrade b/tools/upgrade index b4945c2853..ceed181834 100755 --- a/tools/upgrade +++ b/tools/upgrade @@ -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