:-) But that's the problem, I don't have the contents of that shell. At least I cannot modify it.
To compile my source code for a platform, I normally launch a shell from the command line, which will set several parameters etc. This shell results in some new command-line terminal, in which I simply type 'make' to compile the plug-ins for the platform.
Now I want to launch the (let's say) platform-shell
from my home-brewn shell, with the line I gave you, but then of course I cannot write the commands for the platform-shell in my home-brewn shell.
PHP Code:
#!/bin/ksh
#
# Launch and command shells
#
. PlatformShell.ksh #this launches the platform-shell
#now this should be executed in the "PlatformShell.ksh", but how..?
make