keep itcl even without keep-ide, since gdbtk needs it
This commit is contained in:
parent
44b8585a3d
commit
f98c83ab99
1 changed files with 1 additions and 1 deletions
|
@ -106,7 +106,7 @@ else
|
|||
keep_these_too="${keep_these_too} ${inet_files}"
|
||||
fi
|
||||
|
||||
ide_files="itcl libide vmake"
|
||||
ide_files="libide vmake"
|
||||
|
||||
if (echo $* | grep keep\-ide > /dev/null); then
|
||||
keep_these_too="${keep_these_too} ${ide_files}"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue