diff --git a/arch/arm/src/armv8-m/doit.sh b/arch/arm/src/armv8-m/doit.sh
deleted file mode 100644
index 3b566e0bf18..00000000000
--- a/arch/arm/src/armv8-m/doit.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-FILELIST=`ls -1 up_*.S`
-
-for file in $FILELIST; do
-  newname=`echo $file | sed -e "s/up_/arm_/g"`
-  echo "### $file->$newname"
-  git mv $file $newname
-
-#  oldbase=`basename $file`
-#  newbase=`basename $newname`
-#  sed -i -e "s/${oldbase}/${newbase}/g" $file
-done
-