diff --git a/src/main.cpp b/src/main.cpp index f0a205429b461a06ab4df0c1e296debe2405d4ff..33e7ad12612ea02e254792c370b3b86a96fd24da 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){