diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/copy_genfiles.sh.in | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tools/copy_genfiles.sh.in b/tools/copy_genfiles.sh.in new file mode 100755 index 0000000..5e22625 --- /dev/null +++ b/tools/copy_genfiles.sh.in @@ -0,0 +1,22 @@ +#!/usr/bin/env bash + +set -e + +BINDIR=`dirname "$0"`/.. +SRCDIR=${CMAKE_CURRENT_SOURCE_DIR} +EXIT=0 + +function try_copy() { + if [ ! -f $1 ]; then + echo "Can't find $1, skipping..." + EXIT=1 + else + cp $1 $2 + echo $1 + fi +} + +try_copy $BINDIR/google/protobuf/descriptor.upb.c $SRCDIR/google/protobuf +try_copy $BINDIR/google/protobuf/descriptor.upb.h $SRCDIR/google/protobuf +try_copy $BINDIR/upb/json/parser.c $SRCDIR/upb/json +try_copy $BINDIR/upb/pb/compile_decoder_x64.h $SRCDIR/upb/pb |