@@ -17,8 +17,8 @@ strip ../dist/build/psci/psci.exe
17strip ../dist/build/psc-docs/psc-docs.exe
17strip ../dist/build/psc-docs/psc-docs.exe
18strip ../dist/build/psc-publish/psc-publish.exe
18strip ../dist/build/psc-publish/psc-publish.exe
19strip ../dist/build/psc-bundle/psc-bundle.exe
19strip ../dist/build/psc-bundle/psc-bundle.exe
20−strip ../dist/build/psc-ide-server/psc-ide-server
20+strip ../dist/build/psc-ide-server/psc-ide-server.exe
21−strip ../dist/build/psc-ide-client/psc-ide-client
21+strip ../dist/build/psc-ide-client/psc-ide-client.exe
23# Copy files to staging directory
23# Copy files to staging directory
24cp ../dist/build/psc/psc.exe build/purescript/
24cp ../dist/build/psc/psc.exe build/purescript/