1 files changed, 10 insertions, 0 deletions
diff --git a/debian/alltools.sh b/debian/alltools.sh
new file mode 100755
index 0000000..f1661bd
--- /dev/null
+++ b/debian/alltools.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+suffixes="-14"
+tools="gcc cpp g++"
+
+for tool in $tools; do
+ for suffix in $suffixes; do
+ echo -n "$DEB_HOST_GNU_TYPE-$tool$suffix "
+ done
+done