summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xextras2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras b/extras
index 3b095e045..6344ae20f 100755
--- a/extras
+++ b/extras
@@ -147,7 +147,7 @@ while (1)
chop($input); # remove the trailing \n from the user input
if ($input eq "q") {
- if (-e "build") {
+ if (-e "build/CMakeFiles") {
if (-e "cmake-bin") {
my $cmake_path = `find cmake-bin -name cmake -print0`;
system($cmake_path, "build/.");