/* * testprogram printing the default device * * 26-Nov-2009, Christian Groessler */ #include #include #include extern char _defdev[]; int main(void) { printf("default device: %s\n", _defdev); if (_dos_type != SPARTADOS && _dos_type != OSADOS) cgetc(); return 0; }