mirror of
https://github.com/opennetworkinglab/onos.git
synced 2025-10-17 10:21:52 +02:00
Fix buck run when $ONOS_DIR does not exist
Change-Id: I437e1a3f7afb30f0324260cb424fcc669ca03972
This commit is contained in:
parent
250d028179
commit
28267ea1ff
@ -14,7 +14,7 @@ set -e
|
||||
|
||||
ONOS_DIR=$(tar tf $ONOS_TAR | head -n 1 | cut -d/ -f1)
|
||||
|
||||
if [ -d $ONOS_DIR -a "$1" = "clean" ]; then
|
||||
if [ -d $ONOS_DIR -a "$1" = "clean" -o ! -d $ONOS_DIR ]; then
|
||||
# Blitz previously unrolled onos- directory
|
||||
rm -fr $ONOS_DIR
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user