בית יוסף, אורח חיים תקנא:ו

וקאמר בירושלמי הדא דתימא בניין של שמחה אבל אם היה כותלו גוהה ונוטה ליפול מותר בפ' בתרא דתעניות אמתניתין דמשנכנס אב ממעטין בשמחה וכתבוהו הרי"ף והרא"ש בפרק קמא דתעניות אהא דתנן עברו אלו ולא נענו ממעטין במשא ובמתן ובבניין ובנטיעה ותני עלה בניין בניין של שמחה נטיעה נטיעה של שמחה והרמב"ן כמבו בת"ה על ברייתא דהחולץ: