diff options
author | Fahim | 2015-08-17 17:15:23 +0530 |
---|---|---|
committer | Fahim | 2015-08-17 17:15:23 +0530 |
commit | 52f6bddeb2085c61acfb451122aca91c79c6d6a2 (patch) | |
tree | 11c7769345cd45d6564f716580cb8e118f483f84 /install.sh | |
parent | ddb01dcab87a6179d20d7de76550a61c5f7db7d8 (diff) | |
parent | 7f66d9e5dd9f67407ca83cab1815dc9b969a842d (diff) | |
download | nghdl-52f6bddeb2085c61acfb451122aca91c79c6d6a2.tar.gz nghdl-52f6bddeb2085c61acfb451122aca91c79c6d6a2.tar.bz2 nghdl-52f6bddeb2085c61acfb451122aca91c79c6d6a2.zip |
Merge pull request #12 from athulappadan/master
LICENSE made appear in the terminal properly
Diffstat (limited to 'install.sh')
-rwxr-xr-x | install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -81,6 +81,9 @@ fi cd $cur_dir cp -rv src/* ~/$src_loc/ +#Copying LICENSE file +cp LICENSE ~/$src_loc/ + #Creating config.ini file and adding configuration information cd ~/$src_loc/ |