diff options
author | huderlem <huderlem@gmail.com> | 2019-05-06 17:32:44 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-06 17:32:44 -0500 |
commit | abf6ca0ae33506a0cdde15c438f1bdb951783e5d (patch) | |
tree | a9011efb59edc3df9f9b2a014f03d276f139eac3 | |
parent | e1d67efda609d2997eb78259ecf88e2fcf3209c1 (diff) | |
parent | ef5124f5a52f560746cf5bc466311081ebe1d173 (diff) |
Merge pull request #22 from garakmon/master
install headers into tools/agbcc/include
-rwxr-xr-x | install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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/ |