diff options
-rwxr-xr-x | release/picobsd/build/picobsd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/picobsd/build/picobsd b/release/picobsd/build/picobsd index d672636..63eb422 100755 --- a/release/picobsd/build/picobsd +++ b/release/picobsd/build/picobsd @@ -762,7 +762,7 @@ fill_floppy_image() { ( cd ${BUILDDIR} - cc -o wmk ${PICO_TREE}/../write_mfs_in_kernel.c + cc -o wmk ${PICO_TREE}/build/write_mfs_in_kernel.c log "Preload kernel with file ${c_fs}" ./wmk kernel ${c_fs} rm wmk |