scripts: move to devtools
authorThomas Monjalon <thomas.monjalon@6wind.com>
Thu, 15 Dec 2016 21:47:44 +0000 (22:47 +0100)
committerThomas Monjalon <thomas.monjalon@6wind.com>
Wed, 4 Jan 2017 20:17:32 +0000 (21:17 +0100)
commit9a98f50e890b876fb6664bff36783f1afc273312
tree12f87f6acc71e73b5ace4f46fca0c8d56dc7d720
parent4ec6960aec264172ac22f89c31ec4b43234bb264
scripts: move to devtools

The remaining scripts in the scripts/ directory are only useful
to developers. That's why devtools/ is a better name.

Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com>
Tested-by: Ferruh Yigit <ferruh.yigit@intel.com>
25 files changed:
MAINTAINERS
devtools/check-git-log.sh [new file with mode: 0755]
devtools/check-includes.sh [new file with mode: 0755]
devtools/check-maintainers.sh [new file with mode: 0755]
devtools/checkpatches.sh [new file with mode: 0755]
devtools/cocci.sh [new file with mode: 0755]
devtools/cocci/mtod-offset.cocci [new file with mode: 0644]
devtools/git-log-fixes.sh [new file with mode: 0755]
devtools/load-devel-config [new file with mode: 0644]
devtools/test-build.sh [new file with mode: 0755]
devtools/test-null.sh [new file with mode: 0755]
devtools/validate-abi.sh [new file with mode: 0755]
doc/guides/contributing/patches.rst
doc/guides/contributing/versioning.rst
scripts/check-git-log.sh [deleted file]
scripts/check-includes.sh [deleted file]
scripts/check-maintainers.sh [deleted file]
scripts/checkpatches.sh [deleted file]
scripts/cocci.sh [deleted file]
scripts/cocci/mtod-offset.cocci [deleted file]
scripts/git-log-fixes.sh [deleted file]
scripts/load-devel-config [deleted file]
scripts/test-build.sh [deleted file]
scripts/test-null.sh [deleted file]
scripts/validate-abi.sh [deleted file]