diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2015-03-09 21:19:42 +0100 |
commit | 09622311aa51487cd9cd98e8cbd8da5987bcad18 (patch) | |
tree | 6ebd99d77b373c843015a53e0428a06736ed35c5 /data/buildscripts/toolchain-gnulinux.sh | |
parent | 0d17f6aeab217192675591b771f472802ae52e3d (diff) |
Tune-up build scripts for multi-platform batch building
Diffstat (limited to 'data/buildscripts/toolchain-gnulinux.sh')
-rw-r--r-- | data/buildscripts/toolchain-gnulinux.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/data/buildscripts/toolchain-gnulinux.sh b/data/buildscripts/toolchain-gnulinux.sh new file mode 100644 index 0000000..27a97da --- /dev/null +++ b/data/buildscripts/toolchain-gnulinux.sh @@ -0,0 +1,2 @@ + +# nothing to do :) |