14 lines
186 B
Bash
Executable File
14 lines
186 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# Create new directory
|
|
mkdir -p /dist
|
|
|
|
# Move generated files
|
|
pushd /src
|
|
mv ./output_public /dist/public
|
|
mv ./output_private /dist/private
|
|
popd
|
|
|
|
tamarin_success "Done :-)"
|
|
|