From 1d3ed213af79d3e310d996d2621e0baa659bbbbd Mon Sep 17 00:00:00 2001 From: Luo Tianj Date: Thu, 25 Jul 2019 09:18:43 +0100 Subject: [PATCH] remove unused files --- .gitignore | 7 ++++++- .vscode/launch.json | 7 ------- build.cmd | 9 --------- build.sh | 21 --------------------- 4 files changed, 6 insertions(+), 38 deletions(-) delete mode 100644 .vscode/launch.json delete mode 100644 build.cmd delete mode 100644 build.sh diff --git a/.gitignore b/.gitignore index 6c4d403..7fc1166 100644 --- a/.gitignore +++ b/.gitignore @@ -6,4 +6,9 @@ obj/ build/ packages/ paket-files/ -.paket/ \ No newline at end of file +.paket/ +.vscode/ + +#these files are generated, I don't want to encourage users to use them +build.sh +build.cmd diff --git a/.vscode/launch.json b/.vscode/launch.json deleted file mode 100644 index 5c7247b..0000000 --- a/.vscode/launch.json +++ /dev/null @@ -1,7 +0,0 @@ -{ - // Use IntelliSense to learn about possible attributes. - // Hover to view descriptions of existing attributes. - // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387 - "version": "0.2.0", - "configurations": [] -} \ No newline at end of file diff --git a/build.cmd b/build.cmd deleted file mode 100644 index e9933d3..0000000 --- a/build.cmd +++ /dev/null @@ -1,9 +0,0 @@ -@echo off -cls - -.paket\paket.exe restore -if errorlevel 1 ( - exit /b %errorlevel% -) - -packages\build\FAKE\tools\FAKE.exe build.fsx %* diff --git a/build.sh b/build.sh deleted file mode 100644 index 5b43865..0000000 --- a/build.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash -if test "$OS" = "Windows_NT" -then - # use .Net - - .paket/paket.exe restore - exit_code=$? - if [ $exit_code -ne 0 ]; then - exit $exit_code - fi - - packages/build/FAKE/tools/FAKE.exe $@ --fsiargs build.fsx -else - # use mono - mono .paket/paket.exe restore - exit_code=$? - if [ $exit_code -ne 0 ]; then - exit $exit_code - fi - mono packages/build/FAKE/tools/FAKE.exe $@ --fsiargs -d:MONO build.fsx -fi