diff options
Diffstat (limited to 'hints')
-rw-r--r-- | hints/os2.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hints/os2.sh b/hints/os2.sh index 8633f2693e..9c1355cba4 100644 --- a/hints/os2.sh +++ b/hints/os2.sh @@ -472,3 +472,4 @@ esac # Now go back cd ../.. +cp os2/*.t t/lib |