diff options
author | huderlem <huderlem@gmail.com> | 2019-05-06 19:53:39 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-06 19:53:39 -0500 |
commit | a9e4e336defa7ced8660de8e63ecc222573c433c (patch) | |
tree | 8e88388f8556f67c40c50c8ae0e1c2e4b18e2517 /install.sh | |
parent | abf6ca0ae33506a0cdde15c438f1bdb951783e5d (diff) | |
parent | ed0b3022fba7cb9ea0ea8e6057e251a4d7a5a907 (diff) |
Merge pull request #27 from pret/revert-22-master
Revert "install headers into tools/agbcc/include"
Diffstat (limited to 'install.sh')
-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/include + cp -R libc/include/ $1/tools/agbcc/ #drop include, because we don't want include/include cp ginclude/* $1/tools/agbcc/include/ cp libgcc.a $1/tools/agbcc/lib/ cp libc.a $1/tools/agbcc/lib/ |