blob: 1fba56bc9830f3b8f12542278095955493d565a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
diff -ru libgcrypt-1.8.2.orig/configure libgcrypt-1.8.2/configure
--- libgcrypt-1.8.2.orig/configure 2017-12-13 14:54:17.000000000 +0100
+++ libgcrypt-1.8.2/configure 2018-05-05 00:17:43.366304238 +0200
@@ -13074,6 +13074,10 @@
PRINTABLE_OS_NAME="GNU/Linux"
;;
+ *-midipix*)
+ PRINTABLE_OS_NAME="Midipix"
+ ;;
+
*)
PRINTABLE_OS_NAME=`uname -s || echo "Unknown"`
;;
|
