diff options
| -rwxr-xr-x | benchmarks/profile_benchmarks.sh | 5 | ||||
| -rwxr-xr-x | benchmarks/profile_dmap.sh | 12 |
2 files changed, 9 insertions, 8 deletions
diff --git a/benchmarks/profile_benchmarks.sh b/benchmarks/profile_benchmarks.sh index 976aaf7..1730091 100755 --- a/benchmarks/profile_benchmarks.sh +++ b/benchmarks/profile_benchmarks.sh @@ -89,8 +89,9 @@ run_profile_dmap() { sleep 3 # Send interrupt signal to make it exit cleanly - kill -INT $pid 2>/dev/null - wait $pid 2>/dev/null + # We expect this to return non-zero, so we ignore the exit code + kill -INT $pid 2>/dev/null || true + wait $pid 2>/dev/null || true echo " Completed" diff --git a/benchmarks/profile_dmap.sh b/benchmarks/profile_dmap.sh index 904c793..4983826 100755 --- a/benchmarks/profile_dmap.sh +++ b/benchmarks/profile_dmap.sh @@ -105,8 +105,8 @@ echo "Command: ../dmap -profile -profiledir $PROFILE_DIR -plain -cfg none -query ../dmap -profile -profiledir "$PROFILE_DIR" -plain -cfg none -query "$QUERY" -files "$TEST_DATA_DIR/stats_small.log" 2>&1 | head -10 & DMAP_PID=$! sleep 3 -kill -INT $DMAP_PID 2>/dev/null -wait $DMAP_PID 2>/dev/null +kill -INT $DMAP_PID 2>/dev/null || true +wait $DMAP_PID 2>/dev/null || true # Query 2: Aggregations echo -e "\n${YELLOW}Query: Sum and average${NC}" @@ -115,8 +115,8 @@ echo "Command: ../dmap -profile -profiledir $PROFILE_DIR -plain -cfg none -query ../dmap -profile -profiledir "$PROFILE_DIR" -plain -cfg none -query "$QUERY" -files "$TEST_DATA_DIR/stats_small.log" 2>&1 | head -10 & DMAP_PID=$! sleep 3 -kill -INT $DMAP_PID 2>/dev/null -wait $DMAP_PID 2>/dev/null +kill -INT $DMAP_PID 2>/dev/null || true +wait $DMAP_PID 2>/dev/null || true # Query 3: Min/Max echo -e "\n${YELLOW}Query: Min and max${NC}" @@ -125,8 +125,8 @@ echo "Command: ../dmap -profile -profiledir $PROFILE_DIR -plain -cfg none -query ../dmap -profile -profiledir "$PROFILE_DIR" -plain -cfg none -query "$QUERY" -files "$TEST_DATA_DIR/stats_small.log" 2>&1 | head -10 & DMAP_PID=$! sleep 3 -kill -INT $DMAP_PID 2>/dev/null -wait $DMAP_PID 2>/dev/null +kill -INT $DMAP_PID 2>/dev/null || true +wait $DMAP_PID 2>/dev/null || true echo echo -e "${GREEN}Analyzing dmap profiles...${NC}" |