diff options
Diffstat (limited to 'opcodes/configure')
| -rwxr-xr-x | opcodes/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/opcodes/configure b/opcodes/configure index 69a1feb..a65b0a2 100755 --- a/opcodes/configure +++ b/opcodes/configure @@ -12251,7 +12251,10 @@ $as_echo "#define HAVE_SIGSETJMP 1" >>confdefs.h fi cgen_maint=no -cgendir='$(srcdir)/../cgen' +cgendir='$(srcdir)/../../cgen' +if test -r ${srcdir}/../cgen/iformat.scm; then + cgendir='$(srcdir)/../cgen' +fi # Check whether --enable-cgen-maint was given. if test "${enable_cgen_maint+set}" = set; then : |