diff options
-rwxr-xr-x | move-asn1-header-files.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/move-asn1-header-files.sh b/move-asn1-header-files.sh index ec94e24..7c996b2 100755 --- a/move-asn1-header-files.sh +++ b/move-asn1-header-files.sh @@ -12,6 +12,22 @@ base_dir="$(dirname "$0")" include_subdir="$1" shift +# Abort if any of the header files are missing +for i in "$@"; do + if ! [ -e "$i" ]; then + echo + echo "ERROR: file '$i' has not been generated by asn1c!" + echo + echo "Are you using the Osmocom asn1c fork with the" \ + "ASN1C_PREFIX feature?" + echo + echo "More information:" + echo "https://osmocom.org/projects/osmohnbgw/wiki/Generate_sources_from_ASN1_files" + echo + exit 1 + fi +done + include_dir="$base_dir/include/$include_subdir" mkdir -p "$include_dir" echo "$PWD/*.h --> $include_dir" |