diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc index 8e09bdcae..212ce850a 100644 --- a/repos/ports/run/noux_tool_chain.inc +++ b/repos/ports/run/noux_tool_chain.inc @@ -180,7 +180,7 @@ append config { } append config { - + } @@ -248,7 +248,7 @@ install_config $config set boot_modules { core init timer ld.lib.so noux terminal ram_fs libc.lib.so libm.lib.so libc_noux.lib.so ncurses.lib.so stdcxx.lib.so - pcre.lib.so posix.lib.so + pcre.lib.so posix.lib.so vimrc } append boot_modules { gmp.lib.so mpfr.lib.so mpc.lib.so }