chore(web): Update build.sh

Co-authored-by: Marc Durdin <marc@durdin.net>
This commit is contained in:
Joshua Horton 2023-12-09 09:22:12 +07:00 • committed by GitHub
parent a6f8e35d11
commit 03bf11f457
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -55,9 +55,7 @@ function do_copy() {
GESTURE_RECOGNIZER_BUILD="$KEYMAN_ROOT/common/web/gesture-recognizer/build/lib/."
GESTURE_RECOGNIZER_TARGET="$KEYMAN_ROOT/web/build/engine/gesture-recognizer/lib/"
if ! [ -d $GESTURE_RECOGNIZER_TARGET ]; then
mkdir -p $GESTURE_RECOGNIZER_TARGET
fi
mkdir -p "$GESTURE_RECOGNIZER_TARGET"
cp -a $GESTURE_RECOGNIZER_BUILD $GESTURE_RECOGNIZER_TARGET
}