diff options
Diffstat (limited to 'NOTES.DJGPP')
-rw-r--r-- | NOTES.DJGPP | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/NOTES.DJGPP b/NOTES.DJGPP index bbe63dc154..d43d4e86de 100644 --- a/NOTES.DJGPP +++ b/NOTES.DJGPP @@ -1,5 +1,5 @@ - + INSTALLATION ON THE DOS PLATFORM WITH DJGPP ------------------------------------------- @@ -29,7 +29,7 @@ running "./Configure" with appropriate arguments: ./Configure no-threads --prefix=/dev/env/DJDIR DJGPP - + And finally fire up "make". You may run out of DPMI selectors when running in a DOS box under Windows. If so, just close the BASH shell, go back to Windows, and restart BASH. Then run "make" again. |