diff --git a/scripts/get-os.sh b/scripts/get-os.sh
index da180ba1..4ddc3add 100755
--- a/scripts/get-os.sh
+++ b/scripts/get-os.sh
@@ -127,6 +127,22 @@ cmd_type()
 	echo linux
 }
 
+cmd_tuple()
+{
+	local nv=`cmd_name_version`
+	local dm=`gcc -dumpmachine`
+	local arch=${dm%%-*}
+	local vendor=${nv%%-*}
+	local os=linux
+	local lib=gnu
+	echo "$arch-$vendor-$os-$lib"
+}
+
+cmd_triplet()
+{
+	cmd_tuple | sed 's/\([^-]\+\)-\([^-]\+\)-\([^-]\+\)-\([^-]\+\)/\1-\3-\4/'
+}
+
 # --- here we go
 
 myname=`basename $0`