From a8bf4d63f9004302b44ab01e3506edb33049d6e3 Mon Sep 17 00:00:00 2001 From: Daniel Black Date: Thu, 15 Dec 2016 20:11:10 -0800 Subject: [PATCH] Make format shows wrong curl command for retrieving clang-format-diff.py Summary: Previously: $ make format Makefile:104: Warning: Compiling in debug mode. Don't use the resulting binary in production build_tools/format-diff.sh You didn't have clang-format-diff.py available in your computer! You can download it by running: curl http://goo.gl/iUW1u2 Makefile:868: recipe for target 'format' failed make: *** [format] Error 128 $ curl http://goo.gl/iUW1u2 > ~/bin/clang-format-diff.py % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 276 0 276 0 0 148 0 --:--:-- 0:00:01 --:--:-- 148m $ more ~/bin/clang-format-diff.py Moved Permanently

Moved Permanently

The document has moved here. Closes https://github.com/facebook/rocksdb/pull/1680 Differential Revision: D4338495 Pulled By: yiwu-arbug fbshipit-source-id: e2b24d8 --- build_tools/format-diff.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build_tools/format-diff.sh b/build_tools/format-diff.sh index 5b2efdd1a..9c752b2a1 100755 --- a/build_tools/format-diff.sh +++ b/build_tools/format-diff.sh @@ -11,7 +11,8 @@ if ! which $CLANG_FORMAT_DIFF &> /dev/null then echo "You didn't have clang-format-diff.py available in your computer!" echo "You can download it by running: " - echo " curl http://goo.gl/iUW1u2" + echo " curl --location http://goo.gl/iUW1u2 -o ${CLANG_FORMAT_DIFF}" + echo "and move ${CLANG_FORMAT_DIFF} to some directory within PATH=${PATH}" exit 128 fi