diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-02-07 06:31:03 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-02-07 06:31:03 +0100 |
commit | 7873da82231e872021311ece34644c323e5e99d8 (patch) | |
tree | f3856c93f32ac710ef7b8ce00416f06d80a11529 /configure | |
parent | db4b46e5c5c5f98ccba37fc18a9ac48a0cba0ff5 (diff) | |
download | ghdl-7873da82231e872021311ece34644c323e5e99d8.tar.gz ghdl-7873da82231e872021311ece34644c323e5e99d8.tar.bz2 ghdl-7873da82231e872021311ece34644c323e5e99d8.zip |
libghdlsynth: can generate so/dll file.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -204,6 +204,15 @@ else default_pie="no" fi +# Create subdirectories +if [ ! -d pic ]; then + echo "create pic/ subdirectory" + if ! mkdir pic; then + echo "failed to create pic/" + exit 1; + fi +fi + # Generate config.status rm -f config.status { |