diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 16:11:39 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 16:11:39 +0200 |
commit | 5fbc0af7e902bacafb5c77a0f523eb4b36198dea (patch) | |
tree | 9b860306d463b0f46d2fa1d009bc8550ffee2e5b /x86/TargetPrinter.ml | |
parent | 0df003671aa3c607977272571d89a4f6bad1c1e9 (diff) | |
download | compcert-5fbc0af7e902bacafb5c77a0f523eb4b36198dea.tar.gz compcert-5fbc0af7e902bacafb5c77a0f523eb4b36198dea.zip |
test/*/Makefile: suppress dependencies on ../../ccomp
Not very useful in practice (make clean is generally done before make all)
and problematic under Cygwin where ../../ccomp is really ../../ccomp.exe
Diffstat (limited to 'x86/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions