riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Under Ubuntu, push/popd are present only if we invoke bash, 

not sh.
This commit is contained in:
Jean-Paul Chaput 2012-05-07 14:43:35 +00:00
parent 86c63fd1f7
commit 2bd728e45e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
alliance/src/documentation/regression.sh
View File

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
if [ -z "$ALLIANCE_TOP" ]; then if [ -z "$ALLIANCE_TOP" ]; then
alcEnv="/etc/profile.d/alc_env.sh" alcEnv="/etc/profile.d/alc_env.sh"