Merge branch 'master' into full-month-stats

[stg.git] / projects / sgauthstress / build

diff --git a/projects/sgauthstress/build b/projects/sgauthstress/build
index 05aba51bf078faa15881319d306dfc75d648ad14..d2cdf77065dcc0e53f3bea30279a79458ad9e6b3 100755 (executable)
--- a/projects/sgauthstress/build
+++ b/projects/sgauthstress/build
@@ -48,6 +48,7 @@ then
         6) OS=bsd5;;
         7) OS=bsd7;;
         8) OS=bsd7;;
+        9) OS=bsd7;;
         *) OS=unknown;;
     esac
     MAKE="gmake"