From ef5124f5a52f560746cf5bc466311081ebe1d173 Mon Sep 17 00:00:00 2001 From: Garak Date: Wed, 18 Jul 2018 15:38:06 -0400 Subject: install headers into tools/agbcc/include as long as there is not a `/` after include, this should not make a new directory in `tools/agbcc/include/` --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 756c78a..4e312cd 100755 --- a/install.sh +++ b/install.sh @@ -7,7 +7,7 @@ if [ "$1" != "" ]; then mkdir -p $1/tools/agbcc/lib cp agbcc $1/tools/agbcc/bin/ cp old_agbcc $1/tools/agbcc/bin/ - cp -R libc/include/ $1/tools/agbcc/ #drop include, because we don't want include/include + cp -R libc/include/ $1/tools/agbcc/include cp ginclude/* $1/tools/agbcc/include/ cp libgcc.a $1/tools/agbcc/lib/ cp libc.a $1/tools/agbcc/lib/ -- cgit v1.2.3