|
@@ -4,7 +4,7 @@ fw_depends stack
|
|
|
|
|
|
cd bench
|
|
|
|
|
|
-${IROOT}/stack setup
|
|
|
-${IROOT}/stack build
|
|
|
+${IROOT}/stack --allow-different-user setup
|
|
|
+${IROOT}/stack --allow-different-user build
|
|
|
|
|
|
-${IROOT}/stack exec bench ${MAX_THREADS} ${DBHOST} +RTS -A32m -N${MAX_THREADS} &
|
|
|
+${IROOT}/stack --allow-different-user exec bench ${MAX_THREADS} ${DBHOST} +RTS -A32m -N${MAX_THREADS} &
|