mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-11-05 04:06:38 +08:00
13 lines
280 B
Diff
13 lines
280 B
Diff
diff -ruwN source/configure source-new/configure
|
|
--- source/configure 2026-05-05 14:22:01.000000000 +0000
|
|
+++ source-new/configure 2026-11-02 05:18:51.788806151 +0000
|
|
@@ -5814,6 +5814,8 @@
|
|
;;
|
|
minix)
|
|
;;
|
|
+ redox)
|
|
+ ;;
|
|
none)
|
|
;;
|
|
*)
|