Skip to content
Snippets Groups Projects
Commit 6506f88a authored by Jeremy Soller's avatar Jeremy Soller Committed by GitHub
Browse files

Merge pull request #18 from ids1024/dash

Make dash available as /bin/sh
parents d7d187b6 92dd1fe5
No related branches found
No related tags found
No related merge requests found
......@@ -44,5 +44,6 @@ function recipe_clean {
function recipe_stage {
dest="$(realpath $1)"
make DESTDIR="$dest" install
cp "$1/bin/dash" "$1/bin/sh" # TODO: symlink when Redox supports them
skip=1
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment