git://git.jankratochvil.net
/
nethome.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
function mi: Also "Makefile.PL" is now considered a top_srcdir marker
[nethome.git]
/
.bashrc
diff --git
a/.bashrc
b/.bashrc
index
36326aa
..
4cf2f83
100644
(file)
--- a/
.bashrc
+++ b/
.bashrc
@@
-93,7
+93,7
@@
function edall {
done
}; export -f edall
function mi { (
done
}; export -f edall
function mi { (
- set -ex;cd "$1";while true;do test "$PWD" != "/";if [ -e configure.in ];then break;fi;cd ..;done;make install;
+ set -ex;cd "$1";while true;do test "$PWD" != "/";if [ -e configure.in
-o -e Makefile.PL
];then break;fi;cd ..;done;make install;
); };export -f mi
ulimit -c 0
); };export -f mi
ulimit -c 0