Tại sao diff không thành công khi được gọi từ Makefile?

Thu hẹp vấn đề vá lỗi Tôi đang cố gắng khắc phục sự cố: Chỉ có hai tệp, mỗi tệp có kích thước 1 byte:

• tập tin a(chứa 'a')
• tập tin b(chứa 'b') và

Mục đích là để thực hiện và sau đó áp dụng một bản vá đó sẽ thay đổi giá trị của 'b'để 'a'. Nội dung của Makefile là:

patch:
        diff -u b a > b2a.patch
        patch -o b.corrected b < b2a.patch
        diff a b.corrected

clean:
        rm -f b2a.patch b.corrected

Cho ở trên, makethất bại với đầu ra sau:

$ make
diff -u b a > b2a.patch
make: *** [patch] Error 1

Tuy nhiên, nếu tôi thực thi các lệnh trong Makefile lần lượt từng lệnh khác trên shell bash, thì không có vấn đề gì cả.

Giả sử rằng mã thoát là 0 có nghĩa là thành công, bất cứ điều gì khác có nghĩa là thất bại. Đây là quy ước tiêu chuẩn được sử dụng bởi hầu hết các công cụ dòng lệnh.

Thật không may, diffkhông phải là một trong số đó. Kiểm tra trang thông tin khác biệt của GNU và mục nhập "diff" của Thông số kỹ thuật Unix đơn , 0 có nghĩa là không tìm thấy sự khác biệt nào, 1 có nghĩa là sự khác biệt được tìm thấy và ≥2 có nghĩa là lỗi.

Bạn có thể nói Make để bỏ qua trạng thái thoát hoàn toàn bằng cách thêm tiền tố lệnh bằng dấu gạch nối, như bạn đã làm trong nhận xét của mình, nhưng điều này sẽ bỏ qua các lỗi thực tế có thể không phải là điều bạn muốn. Thay vào đó, bạn có thể:

patch:
        diff -u b a > b2a.patch; [ $$? -eq 1 ]
        patch -o b.corrected b < b2a.patch
        diff a b.corrected; [ $$? -eq 1 ]

Lưu ý ; [ $$? -eq 1 ]bit tôi đã thêm vào cuối của hai dòng khác nhau. Bạn có thể sử dụng ; test $$? -eq 1là tốt, tất nhiên. Biến $?shell là $$?do các quy ước thoát Makefile bình thường. Lưu ý điều này cũng từ chối trạng thái thoát 0 (không có sự khác biệt), đó có thể là những gì bạn muốn.

BTW: có vẻ như điều này thực sự phải là:

patch: b.corrected
        diff …
b.corrected: b2a.patch
        patch …
b2a.patch: a b
        diff …

để các sửa đổi của a và b được chọn, và các tệp được phục hồi chính xác.