diff options
| author | glondu | 2012-09-22 11:42:48 +0000 |
|---|---|---|
| committer | glondu | 2012-09-22 11:42:48 +0000 |
| commit | c3867731157bac7bf95d6e2ae14e8ac7bbde563f (patch) | |
| tree | 986f10f75d9a9957b72115c76eca9cb35c5904da /plugins | |
| parent | 907c5df7bad31404e9f4a8384e4cc43236e4ba9a (diff) | |
Fix use of $(HASNATDYNLINK) in coq_makefile output
Generated makefiles were broken because
$(if ifeq '$(HASNATDYNLINK)' 'true',X)
always returns X.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15826 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions