From 61538212518f3b4ce4f4e1aec1e460d1e9c580e8 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 31 Mar 2009 16:52:57 -0700 Subject: [PATCH] boot.sh: Avoid the need for Git repository information It should not be necessary to have a Git repository to run boot.sh; a checked-out tree should be sufficient. This makes it so. Some corresponding changes to ext are necessary also. --- boot.sh | 17 ++--------------- 1 file changed, 2 insertions(+), 15 deletions(-) diff --git a/boot.sh b/boot.sh index ae2b3665..aa15e184 100755 --- a/boot.sh +++ b/boot.sh @@ -9,7 +9,7 @@ do (--enable-ext) have_ext=yes ;; (--disable-ext) have_ext=no ;; (--help) cat < debian/automake.mk - # Enable or disable ext. if test "$have_ext" = yes; then echo 'Enabling openflowext...' echo 'include ext/automake.mk' > ext.mk echo 'm4_include([ext/configure.m4])' > ext.m4 cat debian/control.in ext/debian/control.in > debian/control - for d in $(cd ext/debian && git ls-files --exclude-from=debian/dontlink) - do + for d in $(cat ext/debian/LINKS); do test -e debian/$d || ln -s ../ext/debian/$d debian/$d - if ! fgrep -q $d debian/.gitignore; then - echo "Adding $d to debian/.gitignore" - (cat debian/.gitignore && printf '/%s' "$d") \ - | LC_ALL=C sort > tmp$$ \ - && mv tmp$$ debian/.gitignore - fi done else echo 'Disabling openflowext...' -- 2.30.2