From ab26811dbacade0c258564aa35b3e60d623dc2e9 Mon Sep 17 00:00:00 2001 From: malc Date: Mon, 28 May 2018 22:28:19 +0300 Subject: [PATCH] Cosmetics --- build.bash | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/build.bash b/build.bash index 7a30018..6ec13eb 100755 --- a/build.bash +++ b/build.bash @@ -24,8 +24,7 @@ case "$(uname)" in Darwin) darwin=true wsid="wsi/osx" - mjobs=$(getconf _NPROCESSORS_ONLN || echo 1) - ;; + mjobs=$(getconf _NPROCESSORS_ONLN || echo 1);; Linux) mjobs=$(getconf _NPROCESSORS_ONLN || echo 1);; OpenBSD) mjobs=$(getconf NPROCESSORS_ONLN || echo 1);; *) die $(uname) is not supported;; @@ -85,7 +84,7 @@ cflags() { f="-g -std=c99 -O2 $muinc -Wall -Werror -Wextra -pedantic" f="$f -DCACHE_PAGEREFS" $darwin && f="$f -D__COCOA__ -D_GNU_SOURCE" \ - || f="$f -D_POSIX_C_SOURCE" ;; + || f="$f -D_POSIX_C_SOURCE";; */keysym2ucs.o) f="-O2 -include inttypes.h -DKeySym=uint32_t";; */ml_*.o) f="-g -Wno-pointer-sign -O2";; *) f="-g -O2";; @@ -180,12 +179,10 @@ bocaml() ( case ${wocmi#$outd/} in confstruct.cmo) s=$outd/confstruct.ml - o=$outd/confstruct.cmo - ;; + o=$outd/confstruct.cmo;; *) test "$o" = "$wocmi" && s=$srcd/${o%.cmo}.ml || s=$srcd/$wocmi.mli - o=$outd/$o - ;; + o=$outd/$o;; esac bocaml1 $n "$s" "$o" case $wocmi in -- 2.11.4.GIT