diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze deleted file mode 100755 index 327403844..000000000 --- a/infer/bin/BuckAnalyze +++ /dev/null @@ -1 +0,0 @@ -../lib/python/BuckAnalyze \ No newline at end of file diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze new file mode 120000 index 000000000..327403844 --- /dev/null +++ b/infer/bin/BuckAnalyze @@ -0,0 +1 @@ +../lib/python/BuckAnalyze \ No newline at end of file diff --git a/infer/bin/infer b/infer/bin/infer deleted file mode 100755 index 48dbd23fb..000000000 --- a/infer/bin/infer +++ /dev/null @@ -1 +0,0 @@ -../lib/python/infer \ No newline at end of file diff --git a/infer/bin/infer b/infer/bin/infer new file mode 120000 index 000000000..48dbd23fb --- /dev/null +++ b/infer/bin/infer @@ -0,0 +1 @@ +../lib/python/infer \ No newline at end of file diff --git a/infer/bin/inferTraceBugs b/infer/bin/inferTraceBugs deleted file mode 100755 index a602e4d98..000000000 --- a/infer/bin/inferTraceBugs +++ /dev/null @@ -1 +0,0 @@ -../lib/python/inferTraceBugs \ No newline at end of file diff --git a/infer/bin/inferTraceBugs b/infer/bin/inferTraceBugs new file mode 120000 index 000000000..a602e4d98 --- /dev/null +++ b/infer/bin/inferTraceBugs @@ -0,0 +1 @@ +../lib/python/inferTraceBugs \ No newline at end of file