diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-23 12:12:17 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-23 12:12:17 +0100 |
| commit | 381d957b4d1439b0d6da8ef4d118945f88381e4c (patch) | |
| tree | ad4b96847c9a53700945b87d9c80cd902bdd7f44 /Makefile | |
| parent | 7a8558575054daff45d41bdfe4058596f87467a3 (diff) | |
| download | compcert-381d957b4d1439b0d6da8ef4d118945f88381e4c.tar.gz compcert-381d957b4d1439b0d6da8ef4d118945f88381e4c.zip | |
add options for include paths also to the command line of the assembler, bug 17838
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions