git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c9f0eb7
)
function mi: Also "Makefile.PL" is now considered a top_srcdir marker
author
short
<>
Wed, 19 Dec 2001 00:36:47 +0000
(
00:36
+0000)
committer
short
<>
Wed, 19 Dec 2001 00:36:47 +0000
(
00:36
+0000)
.bashrc
patch
|
blob
|
history
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 { (
- 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