diff options
| -rwxr-xr-x | sparsec | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -24,6 +24,7 @@ while [ $# -gt 0 ]; do done if [ $use_gcc -eq 1 ]; then + echo "Unsupported options, falling back to GCC..." gcc $ASOPTS $SPARSEOPTS else |
![]() |
index : sparse/sparse-dev.git | |
| Sparse's development tree with unstable git history | Chris Li |
| aboutsummaryrefslogtreecommitdiffstatshomepage |
| -rwxr-xr-x | sparsec | 1 |
@@ -24,6 +24,7 @@ while [ $# -gt 0 ]; do done if [ $use_gcc -eq 1 ]; then + echo "Unsupported options, falling back to GCC..." gcc $ASOPTS $SPARSEOPTS else |