2022-09-11 23:52:01 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# Symlink sources
|
2022-09-12 06:54:59 +00:00
|
|
|
if [ ! -d "build_web/map" ]; then
|
2022-09-11 23:57:52 +00:00
|
|
|
pushd build_web
|
2022-09-12 06:54:59 +00:00
|
|
|
mkdir -p "map/build_web"
|
|
|
|
|
ln -s "/workspaces/eco2d/code" "map/code"
|
|
|
|
|
ln -s "/workspaces/eco2d/build_web/_deps" "map/build_web/_deps"
|
2022-09-11 23:52:01 +00:00
|
|
|
popd
|
|
|
|
|
fi
|
