diff options
Diffstat (limited to 'src/scheme/test/ao_scheme_os.h')
| -rw-r--r-- | src/scheme/test/ao_scheme_os.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/scheme/test/ao_scheme_os.h b/src/scheme/test/ao_scheme_os.h index b225b2e8..9836d534 100644 --- a/src/scheme/test/ao_scheme_os.h +++ b/src/scheme/test/ao_scheme_os.h @@ -23,14 +23,6 @@ #include <time.h> #define AO_SCHEME_POOL_TOTAL 32768 -#define AO_SCHEME_SAVE 1 - -extern int ao_scheme_getc(void); - -static inline void -ao_scheme_os_flush(void) { - fflush(stdout); -} static inline void ao_scheme_abort(void) @@ -38,12 +30,6 @@ ao_scheme_abort(void) abort(); } -static inline void -ao_scheme_os_led(int led) -{ - printf("leds set to 0x%x\n", led); -} - #define AO_SCHEME_JIFFIES_PER_SECOND 100 static inline void |