mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-08-10 08:25:23 +00:00
RUN_ALL assumes default Contiki search path
This commit is contained in:
@@ -23,10 +23,10 @@ done
|
||||
|
||||
if [ -z "$CONTIKI" ]; then
|
||||
if [ -z "$CONTIKI_HOME" ]; then
|
||||
echo Undefined variable: CONTIKI
|
||||
exit 1
|
||||
CONTIKI_HOME=../../..
|
||||
fi
|
||||
CONTIKI=$CONTIKI_HOME
|
||||
echo Undefined variable: CONTIKI. Using default: ${CONTIKI}
|
||||
fi
|
||||
|
||||
if [ $MAIL -eq 1 ]; then
|
||||
|
Reference in New Issue
Block a user