revert extra data (#1179)

mongodb · Mar 2, 2023 · d957e67 · d957e67
1 parent 6ff73d8
commit d957e67
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/etc/add_license.sh b/etc/add_license.sh
@@ -16,6 +16,13 @@ add_copyright() {
         return
     fi
 
+    # Check if first 14 bytes matches the word "// Copied from"
+     local line=$(head -c 14 $1)
+     if [ "$line" == "// Copied from" ]; then
+ 	echo "$1 has a third-party copyright notice" >&2
+ 	return
+     fi
+
     echo "$copyright" | cat - $1 > temp && mv temp $1
 }