You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@nuttx.apache.org by ac...@apache.org on 2020/05/02 00:05:28 UTC

[incubator-nuttx] branch master updated: Remove garbage file accidentally added

This is an automated email from the ASF dual-hosted git repository.

acassis pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-nuttx.git


The following commit(s) were added to refs/heads/master by this push:
     new bb29541  Remove garbage file accidentally added
bb29541 is described below

commit bb29541e3ca840e2e0a5101ba5a2550d0d6ba195
Author: Gregory Nutt <gn...@nuttx.org>
AuthorDate: Fri May 1 17:01:47 2020 -0600

    Remove garbage file accidentally added
---
 arch/arm/src/armv8-m/doit.sh | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/arch/arm/src/armv8-m/doit.sh b/arch/arm/src/armv8-m/doit.sh
deleted file mode 100644
index 3b566e0..0000000
--- 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
-