Merge branch 'master' into full-month-stats

[stg.git] / projects / rscriptd / build

diff --git a/projects/rscriptd/build b/projects/rscriptd/build
index 3aa8799b77d5ae0d64b12e9b0339e8a3a475548f..885eef76558f36c88353c0ff33300d20bfa54561 100755 (executable)
--- a/projects/rscriptd/build
+++ b/projects/rscriptd/build
@@ -48,6 +48,7 @@ then
         6) OS=bsd5;;
         7) OS=bsd7;;
         8) OS=bsd7;;
+        9) OS=bsd7;;
         *) OS=unknown;;
     esac
     MAKE="gmake"