install_z3_rhel_x86_64.sh: fix bash bug (#860)

* install_z3_rhel_x86_64.sh: fix bash bug
batfish · Jan 17, 2018 · 9825d35 · 9825d35
1 parent f3e6136
commit 9825d35
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/install_z3_rhel_x86_64.sh b/tools/install_z3_rhel_x86_64.sh
@@ -33,7 +33,7 @@ cd build
 NUMJOBS="$(grep -i processor /proc/cpuinfo | wc -l)"
 make -j"${NUMJOBS}"
 make install
-umask "{$OLD_UMASK}"
+umask "${OLD_UMASK}"
 cd "${OLD_PWD}"
 rm -rf "${WORKING}"