Skip to content

Fix 'make install': include file directory creation was broken.#2

Open
ntc2 wants to merge 1 commit intoniklasso:masterfrom
GaloisInc:master
Open

Fix 'make install': include file directory creation was broken.#2
ntc2 wants to merge 1 commit intoniklasso:masterfrom
GaloisInc:master

Conversation

@ntc2
Copy link

@ntc2 ntc2 commented Mar 27, 2015

The Makefile uses 'install' to install header files in a directory
hierarchy, but was not creating the parent directories ahead a time,
causing 'make install' to fail.

The Makefile uses 'install' to install header files in a directory
hierarchy, but was not creating the parent directories ahead a time,
causing 'make install' to fail.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant