Patch/hacks to enable NOX destiny/classic to compile on Ubuntu 12.04

2012-05-14 16:03:48 -07:00
parent 6e64deec08
commit b0fb398833
3 changed files with 181 additions and 2 deletions
@@ -343,7 +343,10 @@ function nox {

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

    # Build
    ./boot.sh