diff options
Diffstat (limited to '')
| -rwxr-xr-x | scripts/setup | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scripts/setup b/scripts/setup index 7477f80887..11d5712757 100755 --- a/scripts/setup +++ b/scripts/setup @@ -4,11 +4,16 @@ CFG=setup.cache # RTEMS tools setup -test -f ./CFG || echo "restoring default setup.cache" && cp ./setup.def ./$CFG +if test ! -f ./$CFG; +then + echo -n "restoring default setup.cache .." + cp ./setup.def ./$CFG + echo " done" +fi echo -n "loading setup from ./$CFG .." . ./$CFG -echo "done" +echo " done" echo menu_setup() |