diff options
Diffstat (limited to 'cpp/src/make-gen-src-mk.sh')
| -rwxr-xr-x | cpp/src/make-gen-src-mk.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/cpp/src/make-gen-src-mk.sh b/cpp/src/make-gen-src-mk.sh index 0a6dd3e326..21655e5512 100755 --- a/cpp/src/make-gen-src-mk.sh +++ b/cpp/src/make-gen-src-mk.sh @@ -4,13 +4,14 @@ gentools_dir=$1 gentools_srcdir=$2 +gen=$3 wildcard() { echo `ls $* 2>/dev/null` ; } cat <<EOF -generated_sources = `wildcard gen/*.cpp` +generated_sources = `wildcard $gen/*.cpp` -generated_headers = `wildcard gen/*.h` +generated_headers = `wildcard $gen/*.h` if CAN_GENERATE_CODE |