File tree Expand file tree Collapse file tree 2 files changed +1
-11
lines changed
Expand file tree Collapse file tree 2 files changed +1
-11
lines changed Original file line number Diff line number Diff line change @@ -25,16 +25,6 @@ if [[ "$OSTYPE" == "darwin"* ]]; then
2525fi
2626
2727# For Makefile environment
28- BASHRC_FILE=~ /.bashrc
29- if ! grep -q " MAKEFILE_ENV" " $BASHRC_FILE " ; then
30- cat << EOL >> "$BASHRC_FILE "
3128if [ -n " \$ MAKEFILE_ENV" ]; then
3229 PS1=' \[\e[32m\]Makefile Environment \[\e[0m\] \w $ '
3330fi
34- EOL
35- source " $BASHRC_FILE "
36- echo " Bashrc changes applied"
37- else
38- echo " Bashrc changes already made"
39- fi
40-
Original file line number Diff line number Diff line change @@ -1050,7 +1050,7 @@ yosys:
10501050# Drop into a bash shell with all environment variables, useful for debugging
10511051.PHONY : bash
10521052bash :
1053- export MAKEFILE_ENV=1; bash
1053+ export MAKEFILE_ENV=1; bash --init-file $( FLOW_HOME ) /../env.sh
10541054
10551055.PHONY : all_defs
10561056all_defs : $(foreach file,$(RESULTS_ODB ) ,$(file ) .def)
You can’t perform that action at this time.
0 commit comments