From 474e348aa3fbe9268310f3822bbce147ea592e39 Mon Sep 17 00:00:00 2001 From: Allen Webster Date: Wed, 22 Nov 2017 13:56:51 -0500 Subject: [PATCH] new project pushd not working on linux --- 4coder_project_commands.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/4coder_project_commands.cpp b/4coder_project_commands.cpp index 665257f7..ffc064d4 100644 --- a/4coder_project_commands.cpp +++ b/4coder_project_commands.cpp @@ -744,13 +744,13 @@ CUSTOM_DOC("Queries the user for several configuration options and initializes a fprintf(sh_script, "OPTS=%.*s\n", default_flags_sh.size, default_flags_sh.str); - fprintf(sh_script, "pushd %.*s > /dev/null\n", + fprintf(sh_script, "cd %.*s > /dev/null\n", output_dir.size, output_dir.str); fprintf(sh_script, "%.*s $OPTS $CODE_HOME/%.*s -o %.*s\n", default_compiler_sh.size, default_compiler_sh.str, code_file.size, code_file.str, binary_file.size, binary_file.str); - fprintf(sh_script, "popd > /dev/null\n"); + fprintf(sh_script, "cd $CODE_HOME > /dev/null\n"); fclose(sh_script); }