Revision b0fb3988 util/install.sh

View differences:

util/install.sh
343 343

  
344 344
    # Apply patches
345 345
    git checkout -b tutorial-destiny
346
    git am ~/mininet/util/nox-patches/*.patch
346
    git am ~/mininet/util/nox-patches/*tutorial-port-nox-destiny*.patch
347
    if [ "$DIST" = "Ubuntu" ] && [ `expr $RELEASE '>=' 12.04` -eq 1 ]; then
348
        git am ~/mininet/util/nox-patches/*nox-ubuntu12-hacks.patch
349
    fi
347 350

  
348 351
    # Build
349 352
    ./boot.sh

Also available in: Unified diff