IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-14 17:11:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix a missing escape char

Browse Source
This commit is contained in:
Dave Page committed 2016-11-23 13:43:12 +00:00
1 parent d7d0ff02c6
commit f6f020036f
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
pkg/mac/build.sh
+1 -1
View File
@@ -166,7 +166,7 @@ _complete_bundle() {
echo "SERVER_MODE = False" > config_distro.py
echo "HELP_PATH = '../../../docs/en_US/html/'" >> config_distro.py
echo "DEFAULT_BINARY_PATHS = {" >> config_distro.py
echo " 'pg': '$DIR/../../SharedSupport'," >> config_distro.py
echo " 'pg': '\$DIR/../../SharedSupport'," >> config_distro.py
echo " 'ppas': ''" >> config_distro.py
echo "}" >> config_distro.py