summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhuderlem <huderlem@gmail.com>2019-05-06 17:32:44 -0500
committerGitHub <noreply@github.com>2019-05-06 17:32:44 -0500
commitabf6ca0ae33506a0cdde15c438f1bdb951783e5d (patch)
treea9011efb59edc3df9f9b2a014f03d276f139eac3
parente1d67efda609d2997eb78259ecf88e2fcf3209c1 (diff)
parentef5124f5a52f560746cf5bc466311081ebe1d173 (diff)
Merge pull request #22 from garakmon/master
install headers into tools/agbcc/include
-rwxr-xr-xinstall.sh2
1 files changed, 1 insertions, 1 deletions
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/