diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 19:07:50 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:10 -0500 |
| commit | cb05177c2e72010803aa36653153dfb4a67615e0 (patch) | |
| tree | 5cf3f36f88c7bfac528abce7bb754b28a7d101fa /exportclight | |
| parent | 3297edd971b6272081925a53c6bd4a9d960eac56 (diff) | |
Pass target to configure
The CompCert configure script isn’t a standard configure script: It
takes a positional argument specifying the architecture it should
target. Override dh_auto_configure to do nothing, and pass the relevant
arguments to configure in dh_auto_build.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions