1 files changed, 0 insertions, 8 deletions
diff --git a/mkport.sh b/mkport.sh
index c006e47f..6518dae7 100755
--- a/mkport.sh
+++ b/mkport.sh
@@ -59,14 +59,6 @@ if [ ! -d "$distdir" ] ; then
   mkdir -p ${distdir}
 fi
 
-echo "Sanity checking the repo..."
-OBJS=`find . | grep '\.o$'`
-if [ -n "$OBJS" ] ; then
-   echo "Found the following .o files, remove them first!"
-   echo $OBJS
-   exit 1
-fi
-
 # Get the GIT tag
 ghtag=`git log -n 1 . | grep '^commit ' | awk '{print $2}'`