mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-08-15 12:27:50 +00:00
fix: Contiki path printout
This commit is contained in:
@@ -24,9 +24,9 @@ done
|
||||
if [ -z "$CONTIKI" ]; then
|
||||
if [ -z "$CONTIKI_HOME" ]; then
|
||||
CONTIKI_HOME=../../..
|
||||
echo Undefined variable: CONTIKI. Using default: ${CONTIKI}
|
||||
fi
|
||||
CONTIKI=$CONTIKI_HOME
|
||||
echo Undefined variable: CONTIKI. Using default: ${CONTIKI}
|
||||
fi
|
||||
|
||||
if [ $MAIL -eq 1 ]; then
|
||||
|
Reference in New Issue
Block a user