Put back aliases.

2023-12-24 14:06:30 -08:00
parent 92ace2753e
commit 18c38cab15
5 changed files with 9 additions and 8 deletions
--- a/9
+++ b/9
@ -18,9 +18,8 @@ Include('web')
 Include('pico-ice')
 Include('esp32')

-Default('win32')
-Default('win64')
-Default('unix')
-Default('html')
-Default('esp')
+Default('windows')
+Default('posix')
+Default('web')
+Default('esp32')
 Default('pico')