Skip to content
Snippets Groups Projects
Commit 7118a9e2 authored by Christopher J. Morrone's avatar Christopher J. Morrone
Browse files

Minor globals bin_bash change

parent 213059ef
No related branches found
No related tags found
No related merge requests found
......@@ -86,7 +86,7 @@ cset prompt {(%|#|\$) *$}
# Only the shell names (e.g. bin_bash) must be full pathnames
#
cset bin_awk "awk"
if {![info exists bin_bash]} {set bin_bash [exec which bash]}
cset bin_bash [exec which bash]
cset bin_cat "cat"
cset bin_cc "gcc"
cset bin_chmod "chmod"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment