diff --git a/tools/build-gh.sh b/tools/build-gh.sh index 265e0363c9f..ad094bb9ac7 100755 --- a/tools/build-gh.sh +++ b/tools/build-gh.sh @@ -192,7 +192,7 @@ do BUILD_OPTIONS+="-DPCB=PL18" ;; pl18ev) - BUILD_OPTIONS+="-DPCB=PL18" -DPCBREV=PL18EV" + BUILD_OPTIONS+="-DPCB=PL18 -DPCBREV=PL18EV" ;; commando8) BUILD_OPTIONS+="-DPCB=X7 -DPCBREV=COMMANDO8"