comparison Makefile.in @ 64:81632203928f

Fix 'hidden' constraint
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Dec 2013 17:11:32 -0500
parents ba203b170476
children
comparison
equal deleted inserted replaced
63:089ad1d33e2f 64:81632203928f
539 *.shar.gz*) \ 539 *.shar.gz*) \
540 GZIP=$(GZIP_ENV) gzip -dc $(distdir).shar.gz | unshar ;;\ 540 GZIP=$(GZIP_ENV) gzip -dc $(distdir).shar.gz | unshar ;;\
541 *.zip*) \ 541 *.zip*) \
542 unzip $(distdir).zip ;;\ 542 unzip $(distdir).zip ;;\
543 esac 543 esac
544 chmod -R a-w $(distdir); chmod a+w $(distdir) 544 chmod -R a-w $(distdir); chmod u+w $(distdir)
545 mkdir $(distdir)/_build 545 mkdir $(distdir)/_build
546 mkdir $(distdir)/_inst 546 mkdir $(distdir)/_inst
547 chmod a-w $(distdir) 547 chmod a-w $(distdir)
548 test -d $(distdir)/_build || exit 0; \ 548 test -d $(distdir)/_build || exit 0; \
549 dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \ 549 dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \