From 54d7a028d5a2d5185a65854fec5bf18cd3c2ca41 Mon Sep 17 00:00:00 2001
From: afederici <ajf5@illinois.edu>
Date: Wed, 18 Nov 2020 20:45:48 -0600
Subject: [PATCH] bug fix
---
src/main.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index f0a2054..33e7ad1 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -167,8 +167,8 @@ int main(int argc, char *argv[])
continue;
}
string testCommand = "./" + cmdLineInput[1] + " > /dev/null 2>&1";
- if (system(testCommand.c_str())) {
- cout << "[MAPLE] " << cmdLineInput[1] << " does not exist locally" << endl;
+ if (system(testCommand.c_str()) == -1) {
+ cout << "[MAPLE] " << cmdLineInput[1] << " does not exist locally, " << testCommand << " failed." << endl;
continue;
}
if (!node->isBlackout){
--
GitLab