diff options
Diffstat (limited to 'hw1/autogen.sh')
| -rwxr-xr-x | hw1/autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hw1/autogen.sh b/hw1/autogen.sh index a15abd9..e359561 100755 --- a/hw1/autogen.sh +++ b/hw1/autogen.sh @@ -41,7 +41,7 @@ generate_file () autoreconf -iv [ -z "$1" ] && exit 0 -git clone "$1" "l4basic" +git clone "$1" "l4basic" -b l4basic-1.1 for i in l4basic/l4darr/*.[ch] l4basic/l4bds/*.[ch] l4basic/l4arg/*.[ch] do |