|
|
@ -1,3 +1,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
*******************************************************************************************************************. <?php
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
|
|
|
/** global: Buffer */
|
|
|
|
#
|
|
|
|
#
|
|
|
|
# Highlights make output.
|
|
|
|
# Highlights make output.
|
|
|
|
#
|
|
|
|
#
|
|
|
@ -18,3 +22,4 @@ function make {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
make "$@"
|
|
|
|
make "$@"
|
|
|
|
|
|
|
|
************************************************************************************************************************
|
|
|
|