diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:00:44 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-05-31 16:00:44 +0200 |
commit | f4a0ae85a98ec9a30d9f613b4af0138894b197df (patch) | |
tree | 540a6cac324be3e68458fa9140bbe2136a0929a0 /bootstrap | |
parent | d5f8dcb227ead33c17b135f48f34a169a5e9c2f8 (diff) |
preventing Makefile.in generation in non existent directory
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions