hake: added hint if make install is used instead of make install_X86_64_Basic
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Wed, 18 Jan 2017 16:26:17 +0000 (17:26 +0100)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Wed, 18 Jan 2017 16:26:17 +0000 (17:26 +0100)
commit7dc954b514daf29fce35ddb6574252d11bd943ea
tree3d0f90e583d2f1319e8f1f1953c737999674ba9c
parent7947e1ce96b3ce7101d10045a6c3a749821ac60f
hake: added hint if make install is used instead of make install_X86_64_Basic

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>
hake/Hakefile