Add Cygwin build

2019-08-28 11:52:00 +03:00
parent fc5df2c2a7
commit 3b4d31db85
1 changed files with 5 additions and 0 deletions
@@ -1,6 +1,11 @@
 #!/bin/sh
 set -eu
 os="$(uname | tr A-Z- a-z_)"
+case $os in
+cygwin*)
+    os=linux
+    ;;
+esac
 o_files=""
 o_files="$o_files algo_color.o"
 o_files="$o_files argcount.o"