remove file

This commit is contained in:
Max 2022-06-07 16:24:54 -04:00
parent 86a609d743
commit 72ccc09ee0
1 changed files with 0 additions and 12 deletions

View File

@ -1,12 +0,0 @@
#! /bin/sh
srcs=`find lib include -name '*.c' -o -name '*.h' -o -name '*.cc'`
files=`grep -l 'boost.*shared_ptr' $srcs`
dir=`pwd`
for f in $files; do
echo editing file $f in $dir
sed -i 's%boost/shared_ptr.hpp%memory%' $f
sed -i 's%boost::shared_ptr%std::shared_ptr%' $f
done